System level architecture verification for transaction execution in a multi-processing environment

ABSTRACT

Embodiments relate to building, by a computing device, a pseudo-random dynamic instruction stream that comprises instructions configured to perform a transaction execution. The computing device may cause the transaction execution to be tested in a multi-processing system based on the instruction stream. A status of the test may be output to one or more output devices.

BACKGROUND

The present invention relates generally to computer technology, and morespecifically to transaction execution functionality.

A transaction may begin and end with one or more machine instructions.For example, a transaction may begin with a TBEGIN instruction and endwith a TEND instruction. If a transaction cannot be completed thetransaction may be aborted.

A transaction execution (TX) function may provide atomic store and fetchaccess to/from multiple storage locations using a majority of aninstruction set. In a computing environment (e.g., a multi-processingenvironment), two or more processors may access a resource (e.g., acache line) at a given point in time. At least one of the processors maybe operative with respect to a TX.

BRIEF SUMMARY

An embodiment is directed to a method comprising building, by acomputing device, a pseudo-random dynamic instruction stream thatcomprises instructions configured to perform a transaction execution.The method comprises testing, by the computing device, the transactionexecution in a multi-processing system based on the instruction stream.The method comprises outputting, by the computing device, a status ofthe test to one or more output devices.

An embodiment is directed to a computer program product comprising: acomputer readable storage medium having program code embodied therewith.The program code is executable by a processing device to build apseudo-random dynamic instruction stream that comprises instructionsconfigured to perform a transaction execution. The program code isexecutable by the processing device to test the transaction execution ina multi-processing system based on the instruction stream. The programcode is executable by the processing device to output a status of thetest to one or more output devices.

Additional features and advantages are realized through the techniquesof the present invention. Other embodiments and aspects of the inventionare described in detail herein and are considered a part of the claimedinvention. For a better understanding of the invention with theadvantages and the features, refer to the description and to thedrawings.

BRIEF DESCRIPTION OF THE SEVERAL VIEWS OF THE DRAWINGS

The subject matter which is regarded as the invention is particularlypointed out and distinctly claimed in the claims at the conclusion ofthe specification. The foregoing and other features, and advantages ofthe invention are apparent from the following detailed description takenin conjunction with the accompanying drawings in which:

FIG. 1 illustrates a computing system in accordance with one or moreembodiments; and

FIG. 2 illustrates a flow chart of an exemplary method in accordancewith one or more embodiments.

FIG. 3 illustrates an abbreviated version of the computing system inaccordance with one or more embodiments.

DETAILED DESCRIPTION

Embodiments described herein are directed to pseudo-random and dynamictest case generation at a system level for transactional execution (TX).The creation of test cases may include one or more of: (1) buildingtransactions with different levels of nesting, (2) re-driving orre-initiating an aborted transaction a number of times in an attempt toachieve successful completion of the transaction, (3) incorporatingbuilt-in random waits to burn cycles to mitigate worst-case scenarioswhere two or more processors keep contending or fighting for a givenresource (e.g., a cache line) and, as a result, keep causing aborts, (4)assuring that storage and registers are restored when aborts happen asrequired by the architecture, (5) creating test environments where twoor more processors share a given resource (e.g., cache lines) and,therefore, potentially cause aborts based on a conflict, (6) assuringtwo or more processors access (e.g., read and/or write) from the samelocations while at least one of them is within TX, and (7) assuring thatif there are no aborts, or aborts are resolved by repeating the testcase, all the updates and results performed in while in the transactionappear as if they were processed atomically regardless the number ofprocessors that attempted to accesses the common resources.

Turning now to FIG. 1, a computing system 100 in accordance with one ormore embodiments is shown. The system 100 may include one or moreprocessors, such as processors 102-1 and 102-2. The processors 102-1 and102-2 may include one or more components or devices. For example, theprocessor 102-1 is shown as including one or more registers 102 a andthe processor 102-2 is shown as including one or more registers 102 b.The registers 102 a and 102 b may be of one or more types, such asgeneral purpose registers, floating point registers, etc.

The processor 102-1 and the processor 102-2 may execute one or moreinstructions. The instructions may be associated with program code andmay be organized at any level of computing abstraction. For example, theinstructions may be organized as one or more algorithms, routines,functions, tasks, etc. The program code may be stored in one or morememory devices, such as a program code memory device 104. While theprocessor 102-1 and the processor 102-2 are shown in FIG. 1 as sharingthe program code memory 104, in some embodiments each of the processors102-1 and 102-2 may have its own dedicated program code memory.

The processor 102-1 and the processor 102-2 may be operative on data.Data may be loaded from memory and stored to the memory. In this regard,the system 100 is shown as including two levels of data memory. A firstlevel cache 106 may be used to store those items of data that arefrequently or recently accessed by the processor 102-1 and/or 102-2. Asecond level of data memory, indicated as a data storage 108 in FIG. 1,may be used to store those items of data that are less frequently orless recently accessed by the processor 102-1 and/or the processor102-2. In some embodiments, more or less than two levels of data storagemay be used. In some embodiments, the program code memory 104 may be atleast partially combined with one or more of the cache 106 and the datastorage 108.

In some embodiments, the cache 106 may include a number n of sharedlocations, denoted in FIG. 1 as 106 a, 106 b, . . . 106 n. The potentialrole and use of the shared locations 106 a-106 n is described in furtherdetail below.

The computing system 100 is illustrative. In some embodiments, one ormore of the devices or components shown in FIG. 1 may be optional. Insome embodiments, additional components or devices that are not shownmay be included. In some embodiments, the components/devices of FIG. 1may be organized or arranged in a manner that is different from what isshown.

As described above, test cases may be generated at a system level fortransactional execution (TX). Transaction execution is described inInternational Business Machines, “z/Architecture Principles ofOperation”, SA22-7832-08, tenth edition (September 2012), the contentsof which are incorporated by reference.

A transaction may be aborted either implicitly or explicitly. Forexample, execution of a TABORT instruction may cause a transaction toabort in an explicit manner. A transaction may be implicitly aborted if,e.g., (1) an exception or interrupt is recognized while in thetransaction, (2) where transactions are nested a transaction nestinglevel threshold is exceeded, (3) a number of storage accesses within atransaction exceeds a threshold, (4) two or more processors access aresource (e.g., a cache line) while either one of them is in TX andeither one of them attempts to store into that resource (e.g., store orfetch conflict), (5) a restricted instruction is attempted within thetransaction.

In some embodiments, when a processor (e.g., processor 102-1 and/orprocessor 102-2 of FIG. 1) does not make forward progress (e.g., atransaction that aborts continues to abort even after a number ofretries, where the retries may be associated with a random delay), adetermination may be made regarding the actual or likely cause of theabort. If a user elects to tolerate the abort, operation may continue inspite of the abort. Otherwise, an error condition may be set or flagged.

In some embodiments, test cases may be built that create combinations ofdifferent access types using all possible instructions withintransactions. A detection and handling of aborts (e.g., explicit andimplicit aborts) according to the architecture may be provided. Forexample, in some instances storage and/or registers may be reset to astate just prior to a transaction in response to an abort. In someinstances, registers and/or storage that is/are updated during atransaction might not be reset despite an occurrence of an abort. Anexample of storage operations that would not need to be reset would benon-transactional stores. The frequency of non-transactional stores maybe controlled to facilitate debugging activities.

Turning now to FIG. 2, a flow chart of an exemplary method 200 is shown.The method 200 may execute in connection with one or more components ordevices, such as those shown and described in connection with the system100 of FIG. 1. The method 200 may be used to build one or more testcases.

In block 202, one or more instruction streams may be generated (e.g.,randomly generated). The stream(s) may be configured to initiate TX onone or more processors (e.g., processor 102-1 and/or processor 102-2)within a computing configuration or environment (e.g., system 100). Aninstruction stream may be a pseudo-random dynamic instruction stream. Inthis respect, the instruction stream may include variable or differentinstructions at different points in time, such that a completeinstruction set architecture may be supported.

In block 204, the operands of one or more processors may be interleavedto create contention. Execution of the block 204 may createopportunities of causing aborts due to a resource conflict, such as acache conflict.

In block 206, built-in and self-checking instructions may be inserted tomonitor the occurrences of aborts. The instructions may direct aprocessor to retry a transaction a number of times if the abort isdeemed to be due to, e.g., cache (e.g., cache 106) related issue(s). Theprocessor may be allowed to retry the transaction after a random timeelapses. The random time may be used as a back-off to reduce thelikelihood or probability that two or more processors attempt to accessthe same resource (e.g., a cache line) while at least one of theprocessors is within TX. In the event that further progress is notpossible (e.g., the TX keeps aborting despite a potential retry), anerror flag may be set. When an abort is detected, an indication of theabort may be provided to one or more output devices (e.g., one or moredisplay devices).

In block 208, a number of shared locations (e.g., shared locations 106a-106 n) may be built or established where any processor that is in TXcan write into and read from. In some embodiments, processors that arenot in the transaction may also read from these shared locations.

A coherence of the shared locations of block 208 may be verified in anumber of ways. For example, the verification may include one or more ofthe blocks 210-216 described below.

Block 210: any processor that is in the TX may update none or all of theshared locations. If a processor is updating a shared location, theprocessor may place random, common data in each of the shared locations.If the data is the same in all of the shared locations, it may beassumed that no violation has occurred. Otherwise, if the data is notthe same in all of the shared locations, two or more processors may beupdating the locations concurrently and implementation of the TX mayhave violated the architecture.

Block 211: any processor may update one or more same bytes of all sharedlocations with the same but random data. At the end, the sharedlocations should all contain same data though updates may be due to oneor more processors.

Block 212: any processor, regardless of whether the processor is in TX,may observed the shared locations using, e.g., instructions that canatomically access more than one location at a time. Such a processor canfurther assure that it read the same data since each processor wasplacing unique but random data in all the shared locations.

Block 214: any processor can update and read the same shared locationswhile in the transaction. A processor may only read back what it placedin the shared locations since two (or more) processors cannot alterthese shared locations while either one of them is in TX.

Block 216: a processor in TX can read from the shared locations atdifferent times and later compare fetched data. Such data has to beidentical since no other processor could update these locations betweenthe fetches.

In some embodiments, the results or a status of the verification or testmay be output to one or more output devices.

FIG. 3 illustrates an abbreviated version of the computing system 100 inaccordance with one or more embodiments. For simplicity, othercomponents/devices in the computing system 100 have been omitted. FIG. 3shows blocks 302, 304, 306 308, and 310 as processes that may beexecuted by the processor 102-1 and/or the processor 102-2 as understoodby one skilled in the art.

Technical effects and benefits include an ability to test transactionalexecution functionality. Embodiments of the disclosure provide forpseudo-random instruction and dynamic instruction streams that may beapplied at a unit or system level. For example, a test may be applied toa transaction execution in a multi-processing system based on one ormore instruction streams. Overall machine state in reaction totransactional execution (e.g., start, stop and abort) may be properlyhandled. For example, at least part of a machine state may be reset inresponse to an abort. Shared locations may be used to determine whethera transaction is successfully performed. If an abort occurs,re-execution of a test case may be undertaken if the likelihood orprobability of success is greater than a threshold. Tolerance forpersistent aborts may be provided, potentially based on one or moreinputs (e.g., user inputs).

The terminology used herein is for the purpose of describing particularembodiments only and is not intended to be limiting of the invention. Asused herein, the singular forms “a”, “an” and “the” are intended toinclude the plural forms as well, unless the context clearly indicatesotherwise. It is further understood that terms ‘cache’ and ‘cache-line’are intended to simply exemplify storage. It will be further understoodthat the terms “comprises” and/or “comprising,” when used in thisspecification, specify the presence of stated features, integers, steps,operations, elements, and/or components, but do not preclude thepresence or addition of one or more other features, integers, steps,operations, elements, components, and/or groups thereof.

The corresponding structures, materials, acts, and equivalents of allmeans or step plus function elements in the claims below are intended toinclude any structure, material, or act for performing the function incombination with other claimed elements as specifically claimed. Thedescription of the present invention has been presented for purposes ofillustration and description, but is not intended to be exhaustive orlimited to the invention in the form disclosed. Many modifications andvariations will be apparent to those of ordinary skill in the artwithout departing from the scope and spirit of the invention. Theembodiments were chosen and described in order to best explain theprinciples of the invention and the practical application, and to enableothers of ordinary skill in the art to understand the invention forvarious embodiments with various modifications as are suited to theparticular use contemplated.

Further, as will be appreciated by one skilled in the art, aspects ofthe present invention may be embodied as a system, method, or computerprogram product. Accordingly, aspects of the present invention may takethe form of an entirely hardware embodiment, an entirely softwareembodiment (including firmware, resident software, micro-code, etc.) oran embodiment combining software and hardware aspects that may allgenerally be referred to herein as a “circuit,” “module” or “system.”Furthermore, aspects of the present invention may take the form of acomputer program product embodied in one or more computer readablemedium(s) having computer readable program code embodied thereon.

Any combination of one or more computer readable medium(s) may beutilized. The computer readable medium may be a computer readable signalmedium or a computer readable storage medium. A computer readablestorage medium may be, for example, but not limited to, an electronic,magnetic, optical, electromagnetic, infrared, or semiconductor system,apparatus, or device, or any suitable combination of the foregoing. Morespecific examples (a non-exhaustive list) of the computer readablestorage medium would include the following: an electrical connectionhaving one or more wires, a portable computer diskette, a hard disk, arandom access memory (RAM), a read-only memory (ROM), an erasableprogrammable read-only memory (EPROM or Flash memory), an optical fiber,a portable compact disc read-only memory (CD-ROM), an optical storagedevice, a magnetic storage device, or any suitable combination of theforegoing. In the context of this document, a computer readable storagemedium may be any tangible medium that can contain, or store a programfor use by or in connection with an instruction execution system,apparatus, or device.

A computer readable signal medium may include a propagated data signalwith computer readable program code embodied therein, for example, inbaseband or as part of a carrier wave. Such a propagated signal may takeany of a variety of forms, including, but not limited to,electro-magnetic, optical, or any suitable combination thereof. Acomputer readable signal medium may be any computer readable medium thatis not a computer readable storage medium and that can communicate,propagate, or transport a program for use by or in connection with aninstruction execution system, apparatus, or device.

Program code embodied on a computer readable medium may be transmittedusing any appropriate medium, including but not limited to wireless,wireline, optical fiber cable, radio frequency (RF), etc., or anysuitable combination of the foregoing.

Computer program code for carrying out operations for aspects of thepresent invention may be written in any combination of one or moreprogramming languages, including an object oriented programming languagesuch as Java, Smalltalk, C++ or the like and conventional proceduralprogramming languages, such as the “C” programming language or similarprogramming languages. The program code may execute entirely on theuser's computer, partly on the user's computer, as a stand-alonesoftware package, partly on the user's computer and partly on a remotecomputer or entirely on the remote computer or server. In the latterscenario, the remote computer may be connected to the user's computerthrough any type of network, including a local area network (LAN) or awide area network (WAN), or the connection may be made to an externalcomputer (for example, through the Internet using an Internet ServiceProvider).

Aspects of the present invention are described above with reference toflowchart illustrations and/or block diagrams of methods, apparatus(systems) and computer program products according to embodiments of theinvention. It will be understood that each block of the flowchartillustrations and/or block diagrams, and combinations of blocks in theflowchart illustrations and/or block diagrams, can be implemented bycomputer program instructions. These computer program instructions maybe provided to a processor of a general purpose computer, specialpurpose computer, or other programmable data processing apparatus toproduce a machine, such that the instructions, which execute via theprocessor of the computer or other programmable data processingapparatus, create means for implementing the functions/acts specified inthe flowchart and/or block diagram block or blocks.

These computer program instructions may also be stored in a computerreadable medium that can direct a computer, other programmable dataprocessing apparatus, or other devices to function in a particularmanner, such that the instructions stored in the computer readablemedium produce an article of manufacture including instructions whichimplement the function/act specified in the flowchart and/or blockdiagram block or blocks.

The computer program instructions may also be loaded onto a computer,other programmable data processing apparatus, or other devices to causea series of operational steps to be performed on the computer, otherprogrammable apparatus or other devices to produce a computerimplemented process such that the instructions which execute on thecomputer or other programmable apparatus provide processes forimplementing the functions/acts specified in the flowchart and/or blockdiagram block or blocks.

The flowchart and block diagrams in the Figures illustrate thearchitecture, functionality, and operation of possible implementationsof systems, methods, and computer program products according to variousembodiments of the present invention. In this regard, each block in theflowchart or block diagrams may represent a module, segment, or portionof code, which comprises one or more executable instructions forimplementing the specified logical function(s). It should also be notedthat, in some alternative implementations, the functions noted in theblock may occur out of the order noted in the figures. For example, twoblocks shown in succession may, in fact, be executed substantiallyconcurrently, or the blocks may sometimes be executed in the reverseorder, depending upon the functionality involved. It will also be notedthat each block of the block diagrams and/or flowchart illustration, andcombinations of blocks in the block diagrams and/or flowchartillustration, can be implemented by special purpose hardware-basedsystems that perform the specified functions or acts, or combinations ofspecial purpose hardware and computer instructions.

What is claimed is:
 1. A method comprising: building, by a computingdevice, a pseudo-random dynamic instruction stream that comprisesinstructions configured to perform a transaction execution; testing, bythe computing device, the transaction execution in a multi-processingsystem based on the instruction stream; outputting, by the computingdevice, a status of the test to one or more output devices; wherein afirst processor of the multi-processing system is within the transactionexecution and writes each of the plurality of shared locations withrandom, same data when within the transaction execution; reading theshared locations; and determining that the transaction execution issuccessful based on determining that the data read from all sharedlocations are the same.
 2. The method of claim 1, further comprising:interleaving operands of at least two processors of the multi-processingsystem to create contention with respect to a resource.
 3. The method ofclaim 2, wherein the resource comprises a cache accessed by the at leasttwo processors, and wherein the contention is created with respect to acache line of the cache.
 4. The method of claim 1, further comprising:inserting built-in and self-checking instructions into the instructionstream to monitor for an occurrence of one or more aborts in thetransaction execution; and causing an indication of the one or moreaborts to be provided on an output device.
 5. The method of claim 1,further comprising: retrying, by at least one processor of themulti-processing system, the transaction execution after a random timeelapses in response to an abort.
 6. The method of claim 1, furthercomprising: establishing, by the computing device, a plurality of sharedlocations to serve as a basis for determining whether the transactionexecution is successful.
 7. A computer program product comprising: anon-transitory computer readable storage medium having program codeembodied therewith, the program code executable by a processing deviceto: build a pseudo-random dynamic instruction stream that comprisesinstructions configured to perform a transaction execution; test thetransaction execution in a multi-processing system based on theinstruction stream; output a status of the test to one or more outputdevices; and establish a plurality of shared locations in a cache toserve as a basis for determining whether the transaction execution issuccessful; wherein a first processor of the multi-processing system iswithin the transaction execution and writes each of the plurality ofshared locations with random, same data when within the transactionexecution.
 8. The computer program product of claim 7, wherein aprocessor of the multi-processing system reads the shared locations anddetermines that the transaction execution is successful when the dataread from all shared locations are the same.
 9. The computer programproduct of claim 8, wherein the first processor is the processor of themulti-processing system that reads the shared locations.
 10. Thecomputer program product of claim 8, wherein the processor of themulti-processing system that reads the shared locations is not withinthe transaction execution when the read of the shared locations isperformed, and wherein the processor of the multi-processing system thatreads the shared locations performs a read of the shared locations usinginstructions that atomically access more than one location at a time.11. The computer program product of claim 8, wherein the processor ofthe multi-processing system that reads the shared locations is withinthe transaction execution when the read of the shared locations isperformed.
 12. The computer program product of claim 11, wherein theprocessor of the multi-processing system that reads the shared locationsreads each of the shared locations at different times.